package ss.pku.jsa.type.test;


import org.eclipse.equinox.app.IApplication;
import org.eclipse.equinox.app.IApplicationContext;

import ss.pku.jsa.type.constraint.solver.Native;
import ss.pku.jsa.type.inference.JqualPlugin;


public class CqualExperiment implements IApplication {
	public Object run(Object args) throws Exception {
		JqualPlugin.out.println("before experiment");
		Native.experiment();
		JqualPlugin.out.println("after experiment");
		return null;
	}

	@Override
	public Object start(IApplicationContext arg0) throws Exception {
		// TODO Auto-generated method stub
		return null;
	}

	@Override
	public void stop() {
		// TODO Auto-generated method stub

	}
}
